منابع مشابه
THE INTERNAL IDEAL LATTICE IN THE TOPOS OF M-SETS
We believe that the study of the notions of universal algebra modelled in an arbitarry topos rather than in the category of sets provides a deeper understanding of the real features of the algebraic notions. [2], [3], [4], [S], [6], [7], [13], [14] are some examples of this approach. The lattice Id(L) of ideals of a lattice L (in the category of sets) is an important ingredient of the categ...
متن کاملCubical sets and the topological topos
Coquand’s cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. This paper contributes to the understanding of this model. We make three contributions: 1. Johnstone’s topological topos was created to present the geometric realization of simplicial se...
متن کاملCubical Sets as a Classifying Topos∗
Coquand’s cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. We show that the underlying cube category is the opposite of the Lawvere theory of De Morgan algebras. The topos of cubical sets itself classifies the theory of ‘free De Morgan algebras’...
متن کاملCyclic structures and the topos of simplicial sets
Given a point p of the topos ∆̂ of simplicial sets and the corresponding flat covariant functor F : ∆ −→ Sets, we determine the extensions of F to the cyclic category Λ ⊃ ∆. We show that to each such cyclic structure on a point p of ∆̂ corresponds a group Gp, that such groups can be noncommutative and that each Gp is described as the quotient of a left-ordered group by the subgroup generated by a...
متن کاملOperads of higher transformations for globular sets and for higher magmas
In this article we discuss examples of fractal $omega$-operads. Thus we show that there is an $omega$-operadic approach to explain existence of the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}, the reflexive globular set of reflexive globular sets, the $omega$-magma of $omega$-magmas, and also the reflexive $omega$-magma ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2000
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(99)00183-8